CD_COLLECTION Contracts

Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Contracts
indexing
    description: "Objects that should represent a shelf with CDs"
    author: "Marko Ristin"
    date: "$Date$"
    revision: "$Revision$"

class interface
    CD_COLLECTION

create 
    make,
    with_number_of_items

feature -- Initialization

    with_number_of_items (a_number: INTEGER; a_medium_size: REAL)
            -- create a CD collection with given number of empty CDs and medium size (in megabytes)
        require
            a_number_is_positive: a_number > 0
            a_medium_size_positive: a_medium_size > 0
        ensure
            items_set: count = a_number
    
feature -- Edit

    sort_after_number_of_directories
            -- sort all CDs in the collection on criterium of number of its directories.
            -- The cd with the least directories should be first and one with  the most last.
    
end -- class CD_COLLECTIONClasses Clusters Cluster hierarchy Chart Relations Text Contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com